trait Foo {
  def foo() = new Unit with Foo  // error: cannot extend final class Unit
}
